A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·10h
🎯Performance Proofs
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·1d·
Discuss: Substack
🔗Concatenative Programming
The Angels and Demons of Nondeterminism
buttondown.com·40m·
Discuss: Hacker News
💻Programming languages
Writing a C compiler in 500 lines of Python
vgel.me·22h·
Discuss: Hacker News, r/programming
🦀Rust Macros
How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime type?, part 2
devblogs.microsoft.com·40m
🎯Emulation Accuracy
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·10h
⏰Temporal Logic
ngn/k tutorial
razetime.github.io·2d
🔗Concatenative Programming
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·7h
📟Terminals
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·2h·
Discuss: Lobsters, Hacker News
📐Interval Arithmetic
Can Coding Be Both Lossless and Private?
hackernoon.com·1d
🔐Privacy Codecs
Tradeoffs of Highly-Expressive Types
jnkr.tech·4d·
Discuss: Hacker News
🎯Gradual Typing
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·1h·
Discuss: DEV
👁️Observatory Systems
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·1d
🔤Type Theory
InvisiCaps: The Fil-C capability model
fil-c.org·9h·
Discuss: Hacker News
🏷️Memory Tagging
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·3d·
Discuss: Hacker News
🔍Type Inference
The maths you need to start understanding LLMs
gilesthomas.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·5d
🎯Performance Proofs
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·8h·
Discuss: Hacker News
🛡️Preservation Proofs
🚀 Day 7 of My Python Learning Journey – Tuples in Python
dev.to·4h·
Discuss: DEV
🗂Data structures